一个多层的 context 逻辑

本文介绍了ｃｏｎｔｅｘｔ研究的现状,定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ,定义并证明了与之相关的一些概念和定理。     

聚对苯撑及其衍生物的合成、表征和电性能

从溴苯合成出了聚对苯撑,从对苯二酚合成出了几种聚对苯撑的衍生物：聚（２,５－Ｍ甲氧基）对苯撑,聚（２,５－二乙氧基）对苯撑和聚（２,５－二丁氧基）对苯撑。用ＩＲ表征了中间体和聚合物的结构,测定了聚合物的电导率和伏安特性曲线,并讨论了实验条件对产率的影响。     

多传感器数据融合算法综述

数据融合就是利用多传感器的协合效应来提高系统效率,它是现代Ｃ３Ｉ作战系统的关键技术之一．阐述了多传感器数据融合的特点、分布检测、空间、属性融合、态势评估和威胁估计算法,并同时介绍一些关键课题．     

有源噪声控制的新近进展（Ⅱ）

从一般封闭空间、混响声场的有源控制及控制器结构与算法三个方面对有源噪声控制进行了评述,并对今后的研究趋势提出了展望。     

次连续(S)型映射的广义拓扑度

基于Galerkin逼近技巧,本文构造了次连续(S)型映射的广义度,讨论了该广义度的初等性质,并给出了局部有界广义伪单调映射满值性的拓扑证明。     

动目标显示雷达改善因子的自动测试

本文对动目标显示雷达改善因子的自动测试系统进行了研究,给出一种新型的全数字式频率合成器,它能在雷达的中频上叠加频率范围为±70kHz、量化间隔为0.5Hz的多普勒频率。     

纯方位目标跟踪和攻击的己艇机动策略

纯方位目标跟踪效果同己艇的机动有关。本文按照极大化跟踪系统的可观测程度的准则对己艇机动进行了优化,得出了有利于跟踪的优化机动策略。在此基础上,进一步考虑了对目标进行攻击的攻击机动的要求,使得最后给出的机动模式不仅有利于快速获得目标运动参数,而且使己艇能占领到较好的攻击阵位。此外,本文推荐的机动策略都是按相给出的,因此具有很好的实用性。     

驻波—行波边界条件在PSTD算法中的实现

将时域伪谱法(PSTD)的边界条件PML用驻波-行波边界条件来代替.该条件在边界处附加理想电(磁)壁对计算区域进行截断,将由此产生的反射场去除,从而减少反射场所产生的干扰,在有限的空间内有效地模拟出无限大的电磁散射空间.给出了该边界条件下的二维PSTD迭代格式,并将其数值结果与运用PML边界条件的PSTD的结果进行比较,计算结果表明这种结合形成的新方法节约了内存,提高了计算速度,具有良好的可行性.     

基于MAP估计的图像超分辨率重建

从一组低分辨率图像中重建一幅高分辨率图像,给出基于MAP估计的近似算法。描述从场景空间到观测图像的线性映射关系,介绍了核心重建算法;算法适合观测条件相似的情况。在贝叶斯方法中,使用Laplace算子作估计图像的领域平滑相关性假设。最后的实验表明了算法在改善空间分辨率上的显著效果。     

δ星座的分析与设计

卫星星座的选择与设计是航天任务实现中的一项重要环节。如何有效地进行δ星座的设计是本文着重探讨的问题。本文首先从集合的角度探讨了任一时刻多颗卫星对地面给定区域覆盖情况的分析方法，利用仿真计算，对δ星座进行分析，提出δ星座的设计方法，并给出了相应的仿真设计结果。